Termination w.r.t. Q proof of TRS/TRCSREx5_Zan97

Termination w.r.t. Q of the following Term Rewriting System could not be shown:

Q restricted rewrite system:
The TRS R consists of the following rules:

f(X) → if(X, c, n__f(n__true))
if(true, X, Y) → X
if(false, X, Y) → activate(Y)
f(X) → n__f(X)
true → n__true
activate(n__f(X)) → f(activate(X))
activate(n__true) → true
activate(X) → X

Q is empty.

↳ QTRS

Q restricted rewrite system:
The TRS R consists of the following rules:

f(X) → if(X, c, n__f(n__true))
if(true, X, Y) → X
if(false, X, Y) → activate(Y)
f(X) → n__f(X)
true → n__true
activate(n__f(X)) → f(activate(X))
activate(n__true) → true
activate(X) → X

Q is empty.